Lambda calculus - PDFSEARCH.IO - Document Search Engine

Lambda calculus
Results: 1452

#	Item
771	Optimising Transformations for Hardware Compilation Ashley Brown∗,1 , Wayne Luk∗,1 , Paul Kelly∗,1 Add to Reading List Source URL: www.ashleybrown.co.uk Language: English - Date: 2010-09-16 08:35:28 Combinatory logic Lambda calculus Logic in computer science
772	Delimited Continuations The Bee’s Knees Quasiconf 2012 Andy Wingo Add to Reading List Source URL: wingolog.org Language: English - Date: 2012-08-26 05:24:36 Control flow Continuations Subroutines Delimited continuation Lambda calculus Functional programming Call-with-current-continuation Scheme Racket Software engineering Computing Computer programming
773	Under consideration for publication in Theory and Practice of Logic Programming 1 Typed Answer Set Programming Lambda Calculus Theories and Correctness of Inverse Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-04-01 13:35:06 Applied mathematics Type theory Logic in computer science Theory of computation Combinatory logic Simply typed lambda calculus Typed lambda calculus Type constructor Calculus Theoretical computer science Lambda calculus Computer science
774	PDF Document Add to Reading List Source URL: www.southernknights.org.uk Language: English - Date: 2013-11-28 02:44:43 Apply Functional programming Lambda calculus
775	Type-Changing Program Transformations with Pattern Matching Joeri van Eekelen, Sean Leather and Johan Jeuring Utrecht University, , , Abstract We present a system for Add to Reading List Source URL: www.imn.htwk-leipzig.de Language: English - Date: 2013-05-06 07:04:24 Mathematics Pattern matching Lambda calculus Logic in computer science Orbifold Theoretical computer science Applied mathematics Models of computation
776	Binders Unbound Stephanie Weirich Brent A. Yorgey Tim Sheard Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:09 Lambda calculus Logic Predicate logic Computability theory De Bruijn index Free variables and bound variables Closure Monad Combinatory logic Mathematics Software engineering Computing
777	Encoding Information Flow in AURA, Technical Appendix Department of Computer and Information Science University of Pennsylvania Technical Report Number MS-CISJune, 2009 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 ATS Lambda calculus Information flow Aura XTR Computing Software engineering Mathematics
778	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2012-01-16 12:25:28 Lambda calculus Combinatory logic Logic in computer science
779	Nitpick: A Counterexample Generator for Higher-Order Logic Based on a Relational Model Finder? Jasmin Christian Blanchette and Tobias Nipkow Institut für Informatik, Technische Universität München, Germany {blanchette Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2010-04-01 08:28:46 Mathematics Structure Universal algebra Symbol Constructible universe First-order logic Lambda calculus Mathematical logic Logic Model theory
780	IJCAR 2004 Second International Joint Conference on Automated Reasoning University College Cork, Cork, Ireland Workshop Programme Fourth International Workshop on Add to Reading List Source URL: cs-www.cs.yale.edu Language: English - Date: 2004-06-14 23:05:55 Mathematics Logic in computer science Dependently typed programming Lambda calculus Logic programming Twelf Logical framework Higher-order abstract syntax Dependent type Type theory Programming language theory Theoretical computer science

UPDATE